%\section{Future Work \& Conclusions}
\section{Conclusions}

%\begin{frame}{Future Work}
%\begin{itemize}
%\item \emph{No garbage or lots of garbage}: Analyse if there is
%\end{itemize}
%\end{frame}

\begin{frame}{Conclusions}
\begin{itemize}
\item Software model checkers spend around half of their time garbage collecting.
\item To optimise this, Memoised Garbage Collection was introduced.
\item The MGC needs to traverse only a part of the heap.
\item Depending on the model and configurations performance gains of up to 78\% were reached.
\item MGC is not the holy grail for model checking; it was not faster in all cases.
\item Future work describes the implementation which uses a combination of M\&S and MGC.
\end{itemize}
\end{frame}
